sum::int->int->int
sum x y = x+y

inc::int->int
inc = sum 1 

maint::int
maint =  inc 4